Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
461	Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models Jasmin Christian Blanchette1? and Koen Claessen2 2 1 Institut für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical proofs Inductive reasoning Mathematical induction Graph theory Structural induction Constructible universe First-order logic Automated theorem proving Mathematics Logic Mathematical logic
462	Department of Computer Science The Shapley Axiomatization for Values in Partition Function Games Oskar Skibski, University of Warsaw, Poland Tomasz P. Michalak, University of Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:15 Fair division Shapley value Problem solving Mathematical economics Combinatorics Probability theory Permutation Function Constructible universe Game theory Mathematics Cooperative games
463	Fundamentals of Physical Design Query Processing: First-Order Queries David Toman D. R. Cheriton School of Computer Science D. Toman (Waterloo) Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-15 22:47:10 Mathematics Applied mathematics FO Rewriting Constructible universe Theoretical computer science Conjunctive query Database theory
464	SET THEORY Contents 1. Introduction 2. Everything is a set 3. Classes Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:24 Set theory Cardinal numbers Cofinality Order theory Large cardinals Transfinite induction Constructible universe Cardinality Grothendieck topology Mathematical logic Mathematics Ordinal numbers
465	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Cardinal numbers Set theory Ordinal arithmetic Transfinite induction Constructible universe Forcing Aleph number Successor cardinal Normal function Mathematical logic Mathematics Ordinal numbers
466	Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Recursion Theoretical computer science Computability theory Ordinal numbers Fold Constructible universe Corecursion Standard ML Lambda calculus Mathematical logic Software engineering Computing
467	Department of Computer Science Marginality Approach To Shapley Value In Games With Externalities Oskar Skibski, Tomasz P. Michalak, and Michael Wooldridge Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:35 Cooperative games Fair division Shapley value Function Determinacy Constructible universe Vector space Algebra Mathematics Game theory
468	The Peirce Translation and the Double Negation Shift Mart´ın Escard´o1 and Paulo Oliva2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-30 08:27:21 Logic Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Function Mathematics Mathematical logic Proof theory
469	BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTIN Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-16 10:22:26 Primitive recursive function Mathematical logic Philosophy of mathematics Fourier analysis Jensen hierarchy Mathematics Computability theory Constructible universe
470	J MUSCAT 1 Introductory Mathematics Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2009-03-05 06:40:09 Mathematical logic Model theory Entailment Universal quantification Μ operator Linear temporal logic Logic Mathematics Constructible universe

UPDATE